Instance,nrRules,success,nrStates,n,runtime_ms
1,26,1,6,1,31
2,26,1,6,1,7
3,26,1,6,1,6
4,26,1,6,1,5
5,26,1,6,1,5
6,26,1,6,1,5
7,26,1,6,1,4
8,26,1,6,1,4
9,26,1,6,1,4
10,26,1,6,1,3
11,26,1,6,1,3
12,26,1,6,1,3
13,26,1,6,1,3
14,26,1,6,1,2
15,26,1,6,1,2
16,26,1,6,1,3
17,26,1,6,1,2
18,26,1,6,1,2
19,26,1,6,1,3
20,26,1,6,1,2
21,26,1,6,1,2
22,522,1,61,2,27
23,522,1,61,2,18
24,522,1,61,2,15
25,522,1,61,2,14
26,522,1,61,2,14
27,522,1,61,2,13
28,522,1,61,2,12
29,522,1,61,2,12
30,522,1,61,2,12
31,522,1,61,2,14
32,522,1,61,2,11
33,522,1,61,2,11
34,522,1,61,2,11
35,522,1,61,2,11
36,522,1,61,2,11
37,522,1,61,2,9
38,522,1,61,2,9
39,522,1,61,2,8
40,522,1,61,2,8
41,522,1,61,2,7
42,522,1,61,2,7
43,522,1,61,2,8
44,522,1,61,2,7
45,522,1,61,2,7
46,522,1,61,2,6
47,522,1,61,2,5
48,522,1,61,2,6
49,522,1,61,2,7
50,522,1,61,2,7
51,522,1,61,2,5
52,522,1,61,2,5
53,522,1,61,2,5
54,522,1,61,2,5
55,522,1,61,2,5
56,522,1,61,2,5
57,522,1,61,2,6
58,522,1,61,2,7
59,522,1,61,2,5
60,522,1,61,2,5
61,522,1,61,2,5
62,522,1,61,2,6
63,522,1,61,2,6
64,522,1,61,2,6
65,522,1,61,2,9
66,522,1,61,2,5
67,522,1,61,2,5
68,522,1,61,2,5
69,522,1,61,2,6
70,522,1,61,2,5
71,522,1,61,2,5
72,522,1,61,2,5
73,522,1,61,2,5
74,522,1,61,2,5
75,522,1,61,2,6
76,522,1,61,2,5
77,522,1,61,2,5
78,522,1,61,2,5
79,522,1,61,2,5
80,522,1,61,2,5
81,522,1,61,2,5
82,522,1,61,2,5
83,522,1,61,2,5
84,522,1,61,2,4
85,522,1,61,2,5
86,522,1,61,2,4
87,522,1,61,2,4
88,522,1,61,2,5
89,522,1,61,2,4
90,522,1,61,2,4
91,522,1,61,2,5
92,522,1,61,2,4
93,522,1,61,2,5
94,522,1,61,2,4
95,543,1,66,2,5
96,522,1,61,2,4
97,522,1,61,2,4
98,522,1,61,2,4
99,522,1,61,2,4
100,522,1,61,2,4
101,522,1,61,2,5
102,522,1,61,2,4
103,522,1,61,2,5
104,522,1,61,2,5
105,522,1,61,2,4
106,522,1,61,2,5
107,522,1,61,2,4
108,522,1,61,2,4
109,522,1,61,2,4
110,522,1,61,2,5
111,522,1,61,2,3
112,522,1,61,2,3
113,522,1,61,2,3
114,522,1,61,2,3
115,522,1,61,2,3
116,522,1,61,2,3
117,522,1,61,2,3
118,522,1,61,2,3
119,522,1,61,2,3
120,522,1,61,2,3
121,1782,1,141,2,19
122,522,1,61,2,4
123,522,1,61,2,4
124,522,1,61,2,4
125,522,1,61,2,4
126,522,1,61,2,4
127,522,1,61,2,4
128,522,1,61,2,4
129,522,1,61,2,4
130,522,1,61,2,6
131,522,1,61,2,6
132,522,1,61,2,6
133,522,1,61,2,5
134,522,1,61,2,5
135,522,1,61,2,3
136,522,1,61,2,5
137,522,1,61,2,4
138,522,1,61,2,3
139,522,1,61,2,3
140,522,1,61,2,3
141,522,1,61,2,5
142,522,1,61,2,5
143,522,1,61,2,4
144,522,1,61,2,3
145,522,1,61,2,3
146,522,1,61,2,3
147,522,1,61,2,3
148,522,1,61,2,3
149,522,1,61,2,3
150,5738,1,436,3,31
151,5738,1,436,3,30
152,3998,1,316,3,25
153,5738,1,436,3,43
154,3998,1,316,3,37
155,5738,1,436,3,38
156,4558,1,346,3,26
157,5738,1,436,3,29
158,5738,1,436,3,30
159,5738,1,436,3,30
160,3998,1,316,3,24
161,4558,1,346,3,26
162,3998,1,316,3,23
163,5738,1,436,3,31
164,3998,1,316,3,24
165,3998,1,316,3,23
166,3998,1,316,3,23
167,5738,1,436,3,29
168,5738,1,436,3,29
169,3998,1,316,3,24
170,3998,1,316,3,22
171,5738,1,436,3,28
172,5908,1,446,3,32
173,3998,1,316,3,22
174,5908,1,446,3,30
175,5738,1,436,3,43
176,5738,1,436,3,42
177,3998,1,316,3,34
178,4558,1,346,3,36
179,3998,1,316,3,21
180,3998,1,316,3,19
181,5908,1,446,3,28
182,5738,1,436,3,26
183,4558,1,346,3,22
184,4558,1,346,3,22
185,3998,1,316,3,21
186,5908,1,446,3,74
187,5738,1,436,3,49
188,5738,1,436,3,26
189,3998,1,316,3,19
190,5738,1,436,3,25
191,4558,1,346,3,21
192,5908,1,446,3,27
193,5738,1,436,3,58
194,5738,1,436,3,67
195,3998,1,316,3,48
196,4558,1,346,3,21
197,3998,1,316,3,19
198,5738,1,436,3,24
199,3998,1,316,3,19
200,5738,1,436,3,24
201,3998,1,316,3,51
202,3998,1,316,3,27
203,3998,1,316,3,42
204,4558,1,346,3,35
205,4558,1,346,3,35
206,4558,1,346,3,35
207,5738,1,436,3,41
208,4558,1,346,3,38
209,5738,1,436,3,42
210,5738,1,436,3,52
211,3998,1,316,3,50
212,3998,1,316,3,28
213,5738,1,436,3,59
214,5738,1,436,3,72
215,5738,1,436,3,70
216,3998,1,316,3,41
217,3998,1,316,3,19
218,4558,1,346,3,20
219,5738,1,436,3,56
220,4558,1,346,3,55
221,3998,1,316,3,26
222,5738,1,436,3,46
223,8289,1,611,3,80
224,3998,1,316,3,26
225,8289,1,611,3,39
226,3998,1,316,3,27
227,5738,1,436,3,63
228,5738,1,436,3,45
229,5738,1,436,3,39
230,3998,1,316,3,26
231,5738,1,436,3,32
232,3998,1,316,3,20
233,3998,1,316,3,24
234,3998,1,316,3,19
235,5738,1,436,3,30
236,3998,1,316,3,51
237,5738,1,436,3,66
238,5738,1,436,3,43
239,5908,1,446,3,28
240,5738,1,436,3,24
241,5908,1,446,3,28
242,3998,1,316,3,18
243,5738,1,436,3,25
244,3998,1,316,3,18
245,3998,1,316,3,19
246,3998,1,316,3,18
247,5738,1,436,3,24
248,5738,1,436,3,24
249,3998,1,316,3,19
250,4558,1,346,3,20
251,3998,1,316,3,19
252,3998,1,316,3,19
253,5738,1,436,3,24
254,5738,1,436,3,24
255,3998,1,316,3,19
256,3998,1,316,3,20
257,3998,1,316,3,18
258,5738,1,436,3,24
259,5738,1,436,3,25
260,5738,1,436,3,25
261,3998,1,316,3,19
262,5738,1,436,3,25
263,3998,1,316,3,19
264,5738,1,436,3,25
265,3998,1,316,3,19
266,4558,1,346,3,20
267,3998,1,316,3,19
268,4558,1,346,3,23
269,3998,1,316,3,21
270,31154,1,1851,4,241
271,33654,1,1921,4,225
272,30024,1,1761,4,163
273,33654,1,1921,4,181
274,24774,1,1441,4,143
275,23634,1,1381,4,135
276,31154,1,1851,4,168
277,31154,1,1851,4,171
278,24774,1,1441,4,139
279,31154,1,1851,4,162
280,32964,1,1941,4,189
281,33654,1,1921,4,169
282,20654,1,1251,4,123
283,50394,1,2541,4,324
284,33654,1,1921,4,242
285,31154,1,1851,4,240
286,33654,1,1921,4,180
287,33654,1,1921,4,180
288,31154,1,1851,4,179
289,33654,1,1921,4,180
290,31154,1,1851,4,169
291,24774,1,1441,4,140
292,29294,1,1731,4,152
293,30024,1,1761,4,165
294,33654,1,1921,4,176
295,43524,1,2461,4,242
296,31154,1,1851,4,211
297,33654,1,1921,4,293
298,24774,1,1441,4,242
299,44234,1,2571,4,474
300,24774,1,1441,4,213
301,31154,1,1851,4,278
302,43524,1,2461,4,308
303,30024,1,1761,4,208
304,29294,1,1731,4,178
305,24774,1,1441,4,141
306,34864,1,1961,4,200
307,24774,1,1441,4,149
308,20654,1,1251,4,131
309,42324,1,2421,4,231
310,24774,1,1441,4,144
311,24774,1,1441,4,317
312,33654,1,1921,4,294
313,30024,1,1761,4,342
314,31154,1,1851,4,236
315,31154,1,1851,4,290
316,32964,1,1941,4,239
317,24774,1,1441,4,191
318,31174,1,1651,4,215
319,33654,1,1921,4,210
320,29294,1,1731,4,212
321,24774,1,1441,4,224
322,37064,1,2011,4,197
323,33654,1,1921,4,173
324,63014,1,3251,4,329
325,20654,1,1251,4,120
326,20654,1,1251,4,124
327,33654,1,1921,4,176
328,31154,1,1851,4,169
329,44234,1,2571,4,218
330,31154,1,1851,4,163
331,20654,1,1251,4,144
332,24774,1,1441,4,139
333,32964,1,1941,4,182
334,20654,1,1251,4,118
335,29294,1,1731,4,152
336,24774,1,1441,4,143
337,30024,1,1761,4,161
338,30024,1,1761,4,160
339,33654,1,1921,4,168
340,20654,1,1251,4,120
341,31174,1,1651,4,165
342,30024,1,1761,4,226
343,20654,1,1251,4,196
344,30024,1,1761,4,164
345,31154,1,1851,4,162
346,23634,1,1381,4,129
347,33654,1,1921,4,167
348,33654,1,1921,4,168
349,33654,1,1921,4,197
350,33654,1,1921,4,167
351,32964,1,1941,4,178
352,29294,1,1731,4,153
353,44234,1,2571,4,239
354,23634,1,1381,4,139
355,20654,1,1251,4,155
356,20654,1,1251,4,158
357,23634,1,1381,4,171
358,23634,1,1381,4,173
359,33654,1,1921,4,218
360,33654,1,1921,4,228
361,31154,1,1851,4,203
362,33654,1,1921,4,175
363,33654,1,1921,4,168
364,29294,1,1731,4,155
365,34864,1,1961,4,188
366,33654,1,1921,4,187
367,33654,1,1921,4,263
368,33654,1,1921,4,228
369,31154,1,1851,4,163
370,33654,1,1921,4,168
371,24774,1,1441,4,139
372,31154,1,1851,4,162
373,31154,1,1851,4,163
374,31154,1,1851,4,254
375,33654,1,1921,4,240
376,29294,1,1731,4,200
377,33654,1,1921,4,237
378,32964,1,1941,4,270
379,29294,1,1731,4,200
380,23634,1,1381,4,146
381,29294,1,1731,4,203
382,31154,1,1851,4,212
383,31154,1,1851,4,213
384,29294,1,1731,4,200
385,29294,1,1731,4,205
386,31154,1,1851,4,214
387,29294,1,1731,4,201
388,37924,1,2141,4,234
389,33654,1,1921,4,175
390,31154,1,1851,4,164
391,31154,1,1851,4,162
392,29294,1,1731,4,151
393,29294,1,1731,4,151
394,31154,1,1851,4,235
395,33654,1,1921,4,169
396,33654,1,1921,4,173
397,24774,1,1441,4,137
398,31154,1,1851,4,161
399,24774,1,1441,4,140
400,29294,1,1731,4,154
401,29294,1,1731,4,153
402,33654,1,1921,4,166
403,30024,1,1761,4,160
404,24774,1,1441,4,138
405,23634,1,1381,4,154
406,23634,1,1381,4,143
407,31154,1,1851,4,178
408,30024,1,1761,4,165
409,40294,1,2231,4,244
410,31154,1,1851,4,164
411,24774,1,1441,4,135
412,20654,1,1251,4,120
413,31154,1,1851,4,163
414,31154,1,1851,4,163
415,29294,1,1731,4,151
416,31154,1,1851,4,162
417,42324,1,2421,4,212
418,24774,1,1441,4,136
419,31154,1,1851,4,162
420,20654,1,1251,4,120
421,31154,1,1851,4,161
422,32964,1,1941,4,212
423,33654,1,1921,4,213
424,29294,1,1731,4,152
425,32964,1,1941,4,182
426,24774,1,1441,4,136
427,34864,1,1961,4,188
428,24774,1,1441,4,162
429,24774,1,1441,4,144
430,31154,1,1851,4,192
431,29294,1,1731,4,202
432,31154,1,1851,4,238
433,31154,1,1851,4,226
434,31154,1,1851,4,230
435,24774,1,1441,4,178
436,33654,1,1921,4,231
437,23634,1,1381,4,200
438,33654,1,1921,4,207
439,24774,1,1441,4,141
440,20654,1,1251,4,119
441,31154,1,1851,4,162
442,31174,1,1651,4,159
443,31154,1,1851,4,163
444,143670,1,6996,5,856
445,252990,1,11826,5,1813
446,180150,1,8986,5,1356
447,136480,1,6266,5,1115
448,137740,1,6596,5,1099
449,143070,1,6936,5,868
450,180150,1,8986,5,1125
451,133710,1,6456,5,854
452,180150,1,8986,5,1144
453,112510,1,5326,5,740
454,180150,1,8986,5,1073
455,125190,1,6036,5,934
456,166110,1,7896,5,1223
457,125190,1,6036,5,1029
458,143670,1,6996,5,1146
459,143070,1,6936,5,1278
460,174190,1,8006,5,1365
461,143670,1,6996,5,1153
462,170310,1,8186,5,1363
463,180210,1,8566,5,1385
464,125190,1,6036,5,1069
465,193950,1,9336,5,1450
466,170430,1,8186,5,1313
467,125190,1,6036,5,890
468,126660,1,6336,5,837
469,143070,1,6936,5,912
470,97710,1,4776,5,879
471,124830,1,6036,5,1020
472,169650,1,7506,5,1224
473,143070,1,6936,5,1090
474,133710,1,6456,5,1092
475,131610,1,5826,5,896
476,112510,1,5326,5,1027
477,169650,1,7506,5,1285
478,143070,1,6936,5,1154
479,174190,1,8006,5,1348
480,123810,1,6226,5,1049
481,137740,1,6596,5,1069
482,143070,1,6936,5,1242
483,143070,1,6936,5,1100
484,143070,1,6936,5,940
485,125190,1,6036,5,772
486,205140,1,9196,5,1259
487,170310,1,8186,5,1255
488,80250,1,4066,5,799
489,98910,1,4836,5,887
490,137740,1,6596,5,1077
491,24394,0,1425,5,147
492,166710,1,7496,5,1462
493,168420,1,8316,5,1009
494,173830,1,8006,5,1132
495,137740,1,6596,5,894
496,143670,1,6996,5,1043
497,133110,1,6456,5,1031
498,167940,1,8256,5,1215
499,188460,1,8776,5,1311
500,131610,1,5826,5,1093
501,143070,1,6936,5,1186
502,137740,1,6596,5,1076
503,124830,1,6036,5,982
504,168420,1,8316,5,1246
505,116910,1,5866,5,1009
506,169650,1,7506,5,959
507,149970,1,7226,5,934
508,143070,1,6936,5,900
509,116910,1,5866,5,829
510,124830,1,6036,5,1003
511,138210,1,6626,5,1132
512,133710,1,6456,5,1034
513,154150,1,7246,5,1102
514,167940,1,8256,5,1282
515,143670,1,6996,5,1272
516,143670,1,6996,5,1132
517,134140,1,6426,5,1016
518,155010,1,7666,5,1154
519,134140,1,6426,5,1081
520,169590,1,7866,5,1201
521,97710,1,4776,5,717
522,116910,1,5866,5,807
523,167940,1,8256,5,966
524,114690,1,5746,5,756
525,133710,1,6456,5,1066
526,147510,1,7006,5,1138
527,145480,1,6746,5,1142
528,133710,1,6456,5,1080
529,154150,1,7246,5,1140
530,143670,1,6996,5,982
531,168910,1,7766,5,1043
532,180150,1,8986,5,1123
533,112510,1,5326,5,732
534,154150,1,7246,5,916
535,145480,1,6746,5,914
536,125190,1,6036,5,825
537,155010,1,7666,5,932
538,155010,1,7666,5,931
539,155010,1,7666,5,1005
540,155010,1,7666,5,1190
541,155010,1,7666,5,1182
542,155010,1,7666,5,1158
543,154150,1,7246,5,1147
544,143070,1,6936,5,1022
545,124830,1,6036,5,775
546,155010,1,7666,5,912
547,146140,1,7016,5,896
548,143070,1,6936,5,869
549,173830,1,8006,5,1224
550,116910,1,5866,5,771
551,133110,1,6456,5,877
552,180150,1,8986,5,1062
553,191430,1,8986,5,1187
554,112510,1,5326,5,841
555,133110,1,6456,5,1045
556,98910,1,4836,5,865
557,143070,1,6936,5,1157
558,112510,1,5326,5,933
559,92790,1,4536,5,838
560,134140,1,6426,5,990
561,174240,1,7626,5,1276
562,154150,1,7246,5,1181
563,134140,1,6426,5,1056
564,98910,1,4836,5,862
565,194380,1,8906,5,1465
566,133110,1,6456,5,943
567,154150,1,7246,5,898
568,143670,1,6996,5,850
569,143670,1,6996,5,934
570,131610,1,5826,5,963
571,183940,1,8696,5,1559
572,143670,1,6996,5,1081
573,134140,1,6426,5,1063
574,143670,1,6996,5,1073
575,131610,1,5826,5,1016
576,143670,1,6996,5,932
577,193140,1,8636,5,1457
578,175740,1,7626,5,1418
579,166050,1,8086,5,1198
580,169650,1,7506,5,1223
581,143670,1,6996,5,1166
582,131610,1,5826,5,964
583,143670,1,6996,5,896
584,98910,1,4836,5,677
585,97710,1,4776,5,729
586,143140,1,6906,5,916
587,154150,1,7246,5,982
588,123810,1,6226,5,1055
589,143670,1,6996,5,1077
590,133110,1,6456,5,1037
591,180150,1,8986,5,1463
592,133710,1,6456,5,1027
593,125190,1,6036,5,1074
594,143670,1,6996,5,1128
595,133110,1,6456,5,1068
596,133110,1,6456,5,1027
597,161020,1,7466,5,1279
598,170430,1,8186,5,1266
599,194860,1,9236,5,1409
600,143070,1,6936,5,1160
601,143070,1,6936,5,1156
602,124830,1,5586,5,1029
603,134140,1,6426,5,1020
604,98910,1,4836,5,857
605,193950,1,9336,5,1335
606,143670,1,6996,5,1102
607,183940,1,8696,5,1372
608,143140,1,6906,5,1117
609,133110,1,6456,5,1042
610,143670,1,6996,5,1141
611,191430,1,8986,5,1269
612,98910,1,4836,5,683
613,98910,1,4836,5,721
614,154150,1,7246,5,914
615,154150,1,7246,5,925
616,164980,1,7466,5,1177
617,154150,1,7246,5,1140
618,154150,1,7246,5,1141
619,154150,1,7246,5,1161
620,116910,1,5866,5,986
621,143670,1,6996,5,1104
622,133110,1,6456,5,980
623,149490,1,7226,5,946
624,154150,1,7246,5,900
625,170430,1,8186,5,1007
626,180150,1,8986,5,1069
627,166350,1,8266,5,960
628,192120,1,8756,5,1289
629,166110,1,7896,5,944
630,143070,1,6936,5,878
631,143070,1,6936,5,874
632,92550,1,4536,5,664
633,183940,1,8696,5,1072
634,170020,1,7976,5,1243
635,97710,1,4776,5,896
636,143670,1,6996,5,979
637,123810,1,6226,5,774
638,133710,1,6456,5,819
639,125190,1,6036,5,824
640,180150,1,8986,5,1115
641,124830,1,5586,5,840
642,143140,1,6906,5,929
643,114690,1,5746,5,953
644,92790,1,4536,5,821
645,180150,1,8986,5,1366
646,116910,1,5866,5,982
647,123810,1,6226,5,774
648,143070,1,6936,5,956
649,137740,1,6596,5,1252
650,143070,1,6936,5,1108
651,133710,1,6456,5,1027
652,173830,1,8006,5,1382
653,134140,1,6426,5,1092
654,98910,1,4836,5,946
655,97710,1,4776,5,865
656,169650,1,7506,5,1210
657,92550,1,4536,5,840
658,143070,1,6936,5,1218
659,398326,1,17311,6,4011
660,581866,1,24381,6,4705
661,541186,1,22941,6,4589
662,550786,1,23971,6,4624
663,537466,1,23251,6,4305
664,636126,1,25201,6,5142
665,407266,1,17731,6,3874
666,535976,1,23191,6,4629
667,559846,1,24511,6,4629
668,572046,1,22801,6,5108
669,601656,1,23841,6,5080
670,532326,1,21121,6,4795
671,449866,1,18861,6,3993
672,546826,1,23731,6,4777
673,541186,1,22941,6,4388
674,613126,1,26911,6,4498
675,374666,1,16921,6,3289
676,499826,1,22441,6,4359
677,429526,1,18751,6,3751
678,564416,1,24391,6,5055
679,541186,1,22941,6,4348
680,423566,1,18961,6,3472
681,507736,1,22041,6,3385
682,572046,1,22801,6,4417
683,581866,1,24381,6,4403
684,319246,1,13951,6,3245
685,1082276,1,36311,6,7751
686,470146,1,20611,6,4303
687,461926,1,20191,6,3980
688,542926,1,22821,6,4987
689,679806,1,26051,6,6017
690,420166,1,18271,6,4507
691,461266,1,20131,6,3953
692,439606,1,19231,6,4032
693,594896,1,25291,6,4517
694,692686,1,29061,6,5530
695,564416,1,24391,6,5068
696,313576,1,13991,6,3165
697,378346,1,15981,6,3893
698,564456,1,22281,6,4696
699,391786,1,17011,6,3900
700,812076,1,28811,6,6345
701,572046,1,22801,6,5085
702,572046,1,22801,6,5111
703,593766,1,23881,6,4868
704,461266,1,20131,6,3945
705,693426,1,25711,6,5670
706,461266,1,20131,6,4345
707,507246,1,22281,6,4512
708,461266,1,20131,6,4082
709,605676,1,24791,6,5680
710,622256,1,25131,6,4769
711,578536,1,24041,6,4815
712,537466,1,23251,6,4775
713,542086,1,23551,6,4647
714,407266,1,17731,6,3864
715,378346,1,15981,6,3639
716,464866,1,19581,6,4463
717,972866,1,34901,6,7858
718,407576,1,17551,6,3832
719,593766,1,23881,6,4883
720,464746,1,19581,6,4209
721,496276,1,21321,6,4596
722,804966,1,28571,6,6210
723,593206,1,24251,6,4931
724,434746,1,18931,6,4276
725,667156,1,26041,6,5838
726,481546,1,18771,6,4371
727,705586,1,29901,6,5748
728,398326,1,17311,6,3603
729,516246,1,20521,6,4463
730,651946,1,28531,6,5082
731,572026,1,24311,6,4432
732,651946,1,28531,6,5375
733,512706,1,22401,6,4344
734,507006,1,22281,6,4406
735,499826,1,22441,6,4391
736,634456,1,26041,6,4890
737,634456,1,26041,6,4850
738,516206,1,23281,6,4472
739,418626,1,16681,6,4091
740,542926,1,22821,6,4708
741,469936,1,20361,6,3876
742,494686,1,21391,6,4275
743,494686,1,21391,6,4220
744,581866,1,24381,6,4517
745,407576,1,17551,6,3016
746,645336,1,25281,6,4123
747,418626,1,16681,6,3832
748,497626,1,21021,6,4101
749,589936,1,25641,6,4730
750,619296,1,24561,6,4748
751,457976,1,19831,6,3742
752,398326,1,17311,6,3726
753,582886,1,24381,6,4912
754,582886,1,24381,6,4923
755,530557,1,24091,6,5009
756,535496,1,22481,6,4559
757,581866,1,24381,6,4769
758,550786,1,23971,6,4717
759,395746,1,17251,6,3720
760,532326,1,21121,6,4477
761,541186,1,22941,6,4168
762,429596,1,18571,6,3781
763,434746,1,18931,6,4108
764,434746,1,18931,6,4106
765,636147,1,25206,6,4655
766,771946,1,28781,6,5598
767,418336,1,18081,6,3838
768,559566,1,24561,6,4796
769,550786,1,23421,6,4983
770,636126,1,25201,6,4927
771,461266,1,20131,6,3936
772,541186,1,22941,6,4706
773,572046,1,22801,6,4891
774,651946,1,28531,6,5447
775,470146,1,20611,6,4157
776,312746,1,14041,6,2911
777,650386,1,26271,6,5375
778,582886,1,24381,6,5233
779,407266,1,17731,6,3664
780,407266,1,17731,6,3496
781,407266,1,17731,6,3202
782,407266,1,17731,6,3255
783,494716,1,21321,6,4053
784,542926,1,22821,6,4513
785,398326,1,17311,6,3190
786,559566,1,24561,6,4522
787,430846,1,18751,6,3670
788,447256,1,19521,6,3823
789,124315,0,5765,6,688
790,430846,1,18751,6,2946
791,486606,1,21321,6,3387
792,430846,1,18751,6,3259
793,391786,1,17011,6,3150
794,363586,1,15381,6,2903
795,581866,1,24381,6,3772
796,484906,1,18771,6,4029
797,378346,1,15981,6,3648
798,542086,1,23551,6,4106
799,651946,1,28531,6,4198
800,511506,1,22401,6,3378
801,699096,1,27561,6,4739
802,550786,1,23971,6,3895
803,472436,1,20491,6,4401
804,684926,1,26661,6,5269
805,497626,1,21021,6,4428
806,407266,1,17731,6,3835
807,550786,1,23971,6,4606
808,805427,1,30811,6,6928
809,425646,1,16921,6,4058
810,461926,1,20191,6,3917
811,651946,1,28531,6,5390
812,486306,1,21321,6,4483
813,578576,1,24371,6,5061
814,693396,1,27231,6,5631
815,418336,1,18081,6,3593
816,288706,1,12571,6,3066
817,497626,1,21021,6,4409
818,625726,1,26271,6,5409
819,537466,1,23251,6,3853
820,537466,1,23251,6,3463
821,543856,1,24431,6,3789
822,695556,1,26871,6,5281
823,768346,1,26271,6,6112
824,497626,1,21021,6,3795
825,398326,1,17311,6,3682
826,447736,1,19401,6,3970
827,434746,1,18931,6,3947
828,651946,1,28531,6,5374
829,461266,1,20131,6,3975
830,461926,1,20191,6,3717
831,423566,1,18961,6,3547
832,414797,1,18151,6,3930
833,398326,1,17311,6,3571
834,699096,1,27561,6,6010
835,559846,1,24511,6,4666
836,651946,1,28531,6,4209
837,593766,1,23881,6,3879
838,464746,1,19581,6,3401
839,398727,1,17356,6,3192
840,516246,1,20521,6,3747
841,595016,1,25451,6,4888
842,658966,1,27591,6,5617
843,541186,1,22941,6,3868
844,367406,1,16561,6,2784
845,115845,0,5445,6,617
846,1767102,1,73366,7,15489
847,1256552,1,51296,7,12106
848,1601882,1,63076,7,12971
849,1549862,1,61036,7,13226
850,1384782,1,56626,7,11897
851,1833112,1,66546,7,13356
852,1560102,1,63766,7,15101
853,1470272,1,60006,7,12433
854,1350222,1,55126,7,12748
855,2190982,1,69646,7,20867
856,1357202,1,53596,7,13240
857,1833662,1,72556,7,15908
858,1550882,1,61716,7,14297
859,1554872,1,63346,7,14414
860,1537372,1,62966,7,14585
861,1924982,1,76876,7,17249
862,1320342,1,53686,7,12787
863,2344572,1,74086,7,21745
864,1516522,1,56656,7,13982
865,1172402,1,46156,7,12256
866,1167652,1,47486,7,12250
867,1168832,1,47696,7,12239
868,1412142,1,57826,7,13714
869,1548302,1,61276,7,13908
870,1180292,1,47696,7,11042
871,1287022,1,47896,7,12670
872,1801762,1,67936,7,16484
873,1986022,1,75676,7,16792
874,1892232,1,73906,7,15348
875,1695862,1,61546,7,16912
876,1659612,1,61716,7,13614
877,1919702,1,73196,7,16235
878,1939292,1,66206,7,19025
879,1755972,1,67106,7,14519
880,2041222,1,64366,7,18896
881,2562215,1,97646,7,24279
882,1268862,1,52066,7,9919
883,1477422,1,60406,7,12772
884,1490132,1,58246,7,12317
885,1556542,1,57856,7,14725
886,1666542,1,68866,7,15147
887,1890652,1,68346,7,16326
888,1404102,1,57346,7,12664
889,1400522,1,55516,7,13911
890,2054982,1,72956,7,19006
891,449056,0,17465,7,3389
892,1555182,1,64246,7,14579
893,1309902,1,52086,7,15822
894,3227322,1,101806,7,27983
895,1348822,1,55916,7,12224
896,1666162,1,64446,7,13691
897,1783082,1,68766,7,16192
898,1402662,1,57286,7,12655
899,3138652,1,86686,7,27434
900,1550932,1,63266,7,13918
901,1299122,1,54816,7,12761
902,1570282,1,59866,7,14169
903,1760582,1,67986,7,15987
904,1458942,1,59686,7,14963
905,1649352,1,64256,7,14502
906,1409262,1,55806,7,14279
907,1695862,1,61546,7,16076
908,1475822,1,58156,7,13658
909,1740382,1,63706,7,16289
910,2018862,1,69586,7,16492
911,1695862,1,61546,7,15649
912,1499032,1,55976,7,13320
913,1934422,1,70186,7,17903
914,2143182,1,73806,7,19182
915,1695862,1,61546,7,16156
916,1458942,1,59686,7,14873
917,2294052,1,73666,7,20607
918,1036652,1,40336,7,10462
919,1713512,1,68296,7,15262
920,1598102,1,63436,7,14057
921,1274973,1,50556,7,13189
922,1473502,1,62016,7,12744
923,1363562,1,53596,7,12503
924,1257962,1,49636,7,13615
925,1299142,1,51746,7,12212
926,2029532,1,76056,7,17660
927,1610932,1,60416,7,14669
928,1592803,1,58071,7,16576
929,1524823,1,56781,7,13675
930,1496552,1,57386,7,14543
931,980502,1,39766,7,10155
932,1564192,1,58616,7,15071
933,1292282,1,51076,7,12766
934,1543662,1,63106,7,13790
935,1457382,1,59266,7,12794
936,1730822,1,68716,7,15723
937,1203872,1,49256,7,11558
938,1817863,1,72416,7,17408
939,1573142,1,63396,7,14791
940,1488482,1,59076,7,13877
941,1486452,1,58696,7,12496
942,1374682,1,57956,7,13366
943,1662242,1,65836,7,14664
944,1226042,1,48316,7,12857
945,1306322,1,51756,7,12054
946,1996492,1,75176,7,18969
947,1176922,1,49456,7,11944
948,2023693,1,73866,7,19623
949,1604172,1,62486,7,13697
950,1894392,1,64636,7,16703
951,1563902,1,61996,7,15474
952,2356353,1,84366,7,20050
953,1773192,1,65856,7,15570
954,1816452,1,72376,7,16144
955,1653272,1,65896,7,15085
956,1695982,1,64276,7,15793
957,1664672,1,68216,7,14752
958,1554502,1,58096,7,14048
959,1412142,1,57826,7,12982
960,2104412,1,83416,7,18296
961,1662242,1,65836,7,15435
962,1192182,1,48706,7,12518
963,1229522,1,51936,7,12557
964,1509722,1,59956,7,14442
965,1627682,1,64276,7,13787
966,2473452,1,80196,7,19237
967,1252662,1,51286,7,11782
968,1812782,1,73236,7,16636
969,1163142,1,47446,7,11877
970,1362022,1,49186,7,15041
971,1855102,1,67666,7,16458
972,1767502,1,66016,7,14744
973,1026362,1,40396,7,12513
974,1357202,1,53596,7,12706
975,1284022,1,51086,7,11758
976,1464142,1,54496,7,13718
977,1849093,1,68416,7,19940
978,1397642,1,55276,7,13048
979,1365262,1,54846,7,12040
980,1551852,1,60856,7,13640
981,1612422,1,66166,7,15324
982,1642942,1,61336,7,14316
983,1313062,1,47806,7,13818
984,1855102,1,67666,7,16711
985,1301672,1,52976,7,13687
986,1747782,1,70206,7,17862
987,1817022,1,66126,7,17096
988,1554502,1,58096,7,15599
989,3645718,1,138571,8,34978
990,3731868,1,129671,8,35966
991,3457158,1,135741,8,33202
992,3527898,1,150151,8,37780
993,2979048,1,112661,8,28822
994,1211247,0,47535,8,7923
995,3431598,1,126061,8,37461
996,4089318,1,150891,8,37917
997,3935398,1,149611,8,36141
998,2937798,1,114621,8,30220
999,3107178,1,125951,8,29159
1000,4199238,1,155101,8,41720
1001,3878598,1,154461,8,35489
1002,2477059,1,92736,8,30447
1003,3492058,1,132211,8,33659
1004,2905148,1,109871,8,31560
1005,2905148,1,109871,8,30154
1006,3629598,1,135921,8,32557
1007,3559728,1,135461,8,34395
1008,4210138,1,160291,8,39455
1009,2588428,1,101081,8,28187
1010,4011488,1,154631,8,38598
1011,2558238,1,99501,8,28886
1012,4682528,1,175551,8,46441
1013,4251038,1,155651,8,40312
1014,5479478,1,180121,8,45314
1015,3351678,1,119991,8,33192
1016,3795648,1,137031,8,39246
1017,3559878,1,130261,8,34926
1018,4372438,1,153201,8,38878
1019,3754278,1,149181,8,35894
1020,4663778,1,164521,8,43689
1021,700498,1,29671,8,9964
1022,3169658,1,119941,8,29904
1023,2406508,1,93711,8,27471
1024,2402358,1,93021,8,26590
1025,3434688,1,131561,8,30182
1026,4555388,1,160721,8,44145
1027,3531958,1,136931,8,34586
1028,4809548,1,162631,8,43720
1029,4482388,1,144961,8,43245
1030,6122508,1,167771,8,51660
1031,3611478,1,129111,8,37696
1032,4093029,1,168201,8,41130
1033,5224478,1,159961,8,48552
1034,4261008,1,155301,8,41375
1035,5123608,1,163741,8,42206
1036,6038888,1,185791,8,61779
1037,4833478,1,165471,8,44140
1038,3815868,1,130251,8,32290
1039,2762198,1,106361,8,28347
1040,4495778,1,156961,8,44437
1041,4254548,1,145931,8,42255
1042,3431598,1,126061,8,37314
1043,5337458,1,179851,8,50609
1044,4444358,1,151651,8,44093
1045,3162698,1,109201,8,35266
1046,5395838,1,182261,8,57575
1047,4654998,1,161251,8,44174
1048,4475038,1,155921,8,41557
1049,5234628,1,170471,8,48616
1050,4559198,1,155851,8,44965
1051,6484598,1,198991,8,58841
1052,3393548,1,116211,8,28581
1053,2853638,1,111081,8,27863
1054,2588208,1,105001,8,28127
1055,3739088,1,142991,8,35600
1056,4018278,1,143991,8,39037
1057,3795528,1,144701,8,38246
1058,4300898,1,150121,8,41232
1059,3309738,1,131601,8,33808
1060,4306068,1,161101,8,49448
1061,4977068,1,172671,8,40222
1062,3509538,1,137601,8,33776
1063,3415938,1,125641,8,39328
1064,4629338,1,154911,8,40365
1065,4232798,1,143251,8,40320
1066,4133818,1,144501,8,44204
1067,3661728,1,136281,8,34024
1068,3252898,1,125451,8,31625
1069,6182889,1,205711,8,64757
1070,3546450,1,123186,8,39471
1071,2813130,1,100306,8,34465
1072,2770918,1,104611,8,34466
1073,3922098,1,140271,8,37989
1074,3396498,1,121311,8,34931
1075,4233238,1,158931,8,49727
1076,3374658,1,129571,8,31919
1077,5102108,1,180761,8,44506
1078,2676168,1,100421,8,30907
1079,6561018,1,160651,8,70373
1080,3609678,1,132301,8,34387
1081,1107637,0,42020,8,9699
1082,4065898,1,156091,8,44348
1083,2911678,1,109411,8,30104
1084,3610828,1,146031,8,36936
1085,3060558,1,123331,8,35615
1086,3645078,1,143181,8,40079
1087,4089418,1,139141,8,39753
1088,4788468,1,157031,8,45664
1089,3347418,1,129191,8,41553
1090,3541118,1,122941,8,40289
1091,989857,0,39410,8,7144
1092,3022578,1,107631,8,34985
1093,3893058,1,139671,8,42556
1094,6774828,1,184411,8,59395
1095,4341038,1,160431,8,38531
1096,4471478,1,156541,8,50137
1097,3873298,1,147691,8,41432
1098,4569788,1,160961,8,41285
1099,5795258,1,188841,8,65960
1100,3609778,1,138811,8,37446
1101,7073918,1,223801,8,64743
1102,3112138,1,119411,8,32669
1103,4014988,1,140201,8,38560
1104,4183988,1,146441,8,40093
1105,4074168,1,147861,8,44130
1106,2429058,1,98391,8,25829
1107,4760918,1,142471,8,53965
1108,5580998,1,191851,8,57990
1109,3430488,1,127991,8,33016
1110,3667658,1,145461,8,36062
1111,3517438,1,131131,8,35413
1112,5714468,1,180501,8,56152
1113,4473938,1,155881,8,45234
1114,3197658,1,125001,8,32360
1115,5725118,1,171031,8,65407
1116,3242818,1,122851,8,33723
1117,4773368,1,169181,8,45606
1118,5036158,1,172911,8,53291
1119,5153398,1,171561,8,55115
1120,3592138,1,129991,8,32996
1121,3910698,1,140511,8,39231
1122,3117678,1,126751,8,40898
1123,10753014,1,338096,9,102082
1124,7100764,1,267206,9,80244
1125,7406694,1,268786,9,78688
1126,10146094,1,346956,9,111173
1127,6479614,1,217416,9,92353
1128,11392184,1,332786,9,122778
1129,10255674,1,324326,9,104001
1130,8240344,1,281046,9,93344
1131,7748134,1,299236,9,83832
1132,8115004,1,287296,9,87420
1133,7967844,1,272686,9,83499
1134,7692404,1,286766,9,92730
1135,6003334,1,228196,9,72766
1136,7418734,1,284296,9,91182
1137,7344934,1,270266,9,75897
1138,8888074,1,331146,9,115185
1139,8891254,1,313956,9,95348
1140,7011774,1,252046,9,90131
1141,6962294,1,249666,9,92756
1142,9590374,1,314336,9,96742
1143,13140244,1,368866,9,158053
1144,9235204,1,303776,9,103472
1145,11638674,1,333246,9,173595
1146,9209964,1,305026,9,106701
1147,7282424,1,271886,9,101313
1148,9445874,1,317166,9,110441
1149,6637594,1,250786,9,86823
1150,6879374,1,243026,9,93261
1151,12162214,1,375796,9,165496
1152,8223614,1,307556,9,109827
1153,11190145,1,415501,9,144264
1154,9280114,1,332526,9,123026
1155,7823084,1,278596,9,105912
1156,6854644,1,264366,9,82920
1157,14301064,1,392566,9,163370
1158,8172184,1,281016,9,104556
1159,12228694,1,349136,9,153491
1160,8302774,1,283146,9,99187
1161,7925574,1,272456,9,107280
1162,4500784,1,173866,9,58845
1163,7667265,1,268566,9,83426
1164,7886374,1,292506,9,112351
1165,8004934,1,271236,9,113686
1166,8482604,1,299316,9,104114
1167,11217134,1,354076,9,117592
1168,6897574,1,254346,9,85510
1169,8130475,1,298121,9,103049
1170,8785434,1,302316,9,98957
1171,8321334,1,285916,9,91985
1172,7933075,1,268121,9,93808
1173,13292004,1,427776,9,146558
1174,11853564,1,367186,9,132084
1175,10508954,1,355326,9,118060
1176,9321114,1,331006,9,120313
1177,7923214,1,294426,9,99422
1178,6519415,1,239351,9,87027
1179,8010514,1,278446,9,109142
1180,8051884,1,281636,9,85071
1181,5939414,1,220576,9,78210
1182,10173574,1,348096,9,120618
1183,7237424,1,268296,9,85503
1184,6940294,1,265396,9,94655
1185,7448294,1,274616,9,85077
1186,6636095,1,235521,9,90799
1187,11893844,1,376096,9,128829
1188,7042974,1,254626,9,84221
1189,8721594,1,306646,9,99945
1190,7751874,1,270286,9,108510
1191,7850564,1,278376,9,83647
1192,7402684,1,245596,9,78148
1193,8340624,1,299836,9,96430
1194,6242084,1,230966,9,85948
1195,5578774,1,203706,9,82703
1196,13143134,1,388386,9,139468
1197,8485494,1,314706,9,109708
1198,6289424,1,232356,9,92741
1199,11010664,1,362326,9,125680
1200,9820884,1,316466,9,148304
1201,12295497,1,407356,9,155737
1202,7654488,0,210135,9,73666
1203,24729440,1,661581,10,314952
1204,14082230,1,508081,10,197686
1205,17721590,1,601591,10,222271
1206,22755570,1,711421,10,302073
1207,16206550,1,542971,10,213174
1208,17792091,1,607291,10,190092
1209,14070600,1,500771,10,179667
1210,13276750,1,492061,10,159907
1211,15487160,1,500521,10,172797
1212,14946480,1,504931,10,173998
1213,23249550,1,669781,10,229346
1214,17078270,1,604611,10,204673
1215,14349530,1,478841,10,162820
1216,22067740,1,650501,10,253038
1217,18685090,1,630991,10,207706
1218,19566920,1,603531,10,237067
1219,14307800,1,494171,10,191422
1220,13172760,1,484621,10,152350
1221,20828850,1,648301,10,250419
1222,15747000,1,536241,10,185057
1223,21779750,1,718881,10,242443
1224,15222690,1,539651,10,171268
1225,17819580,1,587621,10,200864
1226,29537850,1,837881,10,270651
1227,18115531,1,501421,10,169646
1228,15582170,1,548151,10,191502
1229,10180031,1,398731,10,132095
1230,20288381,1,677121,10,243006
1231,23179370,1,722151,10,258558
1232,15953210,1,579841,10,178842
1233,14683230,1,487791,10,165870
1234,12287690,1,424021,10,144609
1235,31916510,1,990651,10,332379
1236,13615801,1,485311,10,138302
1237,22475880,1,671041,10,224698
1238,19323973,1,693601,10,246728
1239,11789860,1,443831,10,144233
1240,19850270,1,646041,10,229748
1241,18577930,1,622831,10,234162
1242,15141690,1,536191,10,165509
1243,22934730,1,679671,10,217715
1244,19270030,1,580821,10,195139
1245,16268380,1,554871,10,182597
1246,17555970,1,578301,10,206351
1247,21652150,1,683371,10,244965
1248,20478660,1,653301,10,216002
1249,21636341,1,666451,10,224300
1250,19245670,1,634701,10,214795
1251,21024020,1,667441,10,222426
1252,19374161,1,637681,10,229604
1253,24098990,1,692421,10,275933
1254,25167914,1,887996,10,261508